Analysis of Behavioural Properties of Bounded Petri Nets With a Semi-Structural Approach | IEEE Conference Publication | IEEE Xplore